Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
91	Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr Add to Reading List Source URL: www.cs.otago.ac.nz Language: English - Date: 2011-05-20 05:24:57 Mathematics Mathematical analysis Mathematical logic Order theory Binary relation Set theory Equivalence relation Asymmetric relation Transitive relation Equality Function Reflexive relation
92	Microsoft Word - slides.docx Add to Reading List Source URL: web.uvic.ca Language: English - Date: 2014-07-04 18:43:12 Time series analysis Statistics Econometrics Formal sciences Noise Economic model Cointegration Granger causality Autoregressive conditional heteroskedasticity Autoregressivemoving-average model Maximum likelihood estimation Scientific modelling
93	Call for papers WWW 2017 Web Mining and Content Analysis Track The Web Mining and Content Analysis Track at the 2017 Conference on the World Wide Web (http://www2017.com.au ) welcomes submissions of original, high-qu Add to Reading List Source URL: www.www2017.com.au Language: English - Date: 2016-08-06 03:49:36 Information technology Computing Business intelligence Information Data mining Formal sciences Big data Web mining Unstructured data Analytics Data science Text mining
94	From Formal Concept Analysis to Contextual Logic Frithjof Dau and Julia Klinger Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Philosophy Abstraction Graph theory Diagrams Formal concept analysis Lattice theory Ontology Conceptual graph Existential graph Graph First-order logic
95	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
96	Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions Erdal Imamoglu & Mark van Hoeij Florida State University Department of Mathematics Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 08:52:37 Mathematical analysis Calculus Ordinary differential equations Mathematics Operator theory Mathematical series Differential equations Multivariable calculus Hypergeometric function Linear differential equation Differential operator Regular singular point
97	CMSCS TAT 37601: M ACHINE L EARNING AND L ARGE S CALE DATA A NALYSIS Syllabus, Spring 2015 Machine Learning and Large Scale Data Analysis is an advanced undergraduate level course in statistical machine learning Add to Reading List Source URL: galton.uchicago.edu Language: English - Date: 2016-04-13 06:56:12 Statistics Data Regression analysis Econometrics Formal sciences Machine learning Nonparametric regression Linear regression Data mining Statistical classification Cluster analysis Nonparametric statistics
98	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics
99	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
100	An Implementation for Fault Tolerance and Experimental Results Frithjof Dau, SAP AG Abstract. Even for small or medium sized contexts, the corresponding concept lattice soon becomes too large to be nicely displayed and u Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:24:30 Algebra Abstract algebra Geometry Lattice theory Lie groups Data mining Formal concept analysis Machine learning Ontology Lattice

UPDATE